$\forall$$k$:Knd. ($\uparrow$isrcv($k$)) $\Rightarrow$ (lnk($k$) $\in$ IdLnk)